Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
101	A separation between semantic and syntactic cutting planes Yuval Filmus Massimo Lauria March 30, 2013 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-03-30 17:20:08 Cutting-plane method Resolution Logic Ordinary differential equations Spectral theory Binomial series Formula for primes Mathematics Automated theorem proving Mathematical analysis
102	A separation logic for refining concurrent objects Aaron Turon and Mitchell Wand Northeastern University Abstract. Fine-grained concurrent data structures are crucial for gaining performance from multiprocessing, but the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-04-16 18:04:12 Program refinement Denotational semantics Logic Symbol Entailment
103	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
104	Courting Conflict: A Logic of Risky Judicial Decisions in Latin America Gretchen Helmke Associate Professor Department of Political Science University of Rochester Add to Reading List Source URL: www.rochester.edu Language: English - Date: 2010-06-08 14:33:01 Government Court systems Law Political philosophy Accountability Judicial independence Judiciary Supreme court Court system of Canada Separation of powers Constitutional law Philosophy of law
105	Verification of Programs in Virtual Memory Using Separation Logic Rafal Kolanski Ph.D. Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:10:09 Logic in computer science Abstraction Axiology Logic Thesis Virtual memory Separation logic Knowledge Theoretical computer science Education
106	Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Deduction Logic in computer science Entailment Logical consequence Model theory Symbol Separation logic Hoare logic Logic Metalogic Program logic
107	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
108	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
109	Durham Research Online Deposited in DRO: 08 November 2010 Version of attached le: Published Version Add to Reading List Source URL: dro.dur.ac.uk Language: English - Date: 2014-03-10 11:36:36 Cross-platform software Memory management C++ Java bytecode Heap Separation logic Java C dynamic memory allocation Nim Computing Software engineering Computer programming
110	SyCTRL Digital Input / Output SyCTRL DigitIO board • 12 digital inputs • 12 digital outputs • Output scan rate of 100 kS/s per channel • Physical separation from Product Under Test for all input channels Add to Reading List Source URL: www.clemessy.ch Language: English - Date: 2014-06-24 03:18:37 Electronic circuits Comparator Digital signal Analog circuits Integrated circuits Logic gates Electronic engineering Electronics Electromagnetism

UPDATE